منابع مشابه
ON TOPOLOGICAL EQ-ALGEBRAS
In this paper, by using a special family of filters $mathcal{F}$ on an EQ-algebra $E$, we construct a topology $mathcal{T}_{mathcal{mathcal{F}}}$ on $E$ and show that $(E,mathcal{T}_{mathcal{F}})$ is a topological EQ-algebra. First of all, we give some properties of topological EQ-algebras and investigate the interaction of topological EQ-algebras and quotient topological EQ-algebras. Then we o...
متن کاملGeneralized states on EQ-algebras
In this paper, we introduce a notion of generalized states from an EQ-algebra E1 to another EQ-algebra E2, which is a generalization of internal states (or state operators) on an EQ-algebra E. Also we give a type of special generalized state from an EQ-algebra E1 to E1, called generalized internal states (or GI-state). Then we give some examples and basic properties of generalized (internal) st...
متن کاملOn good EQ-algebras
A special algebra called EQ-algebra has been recently introduced by Vilém Novák. Its original motivation comes from fuzzy type theory, in which the main connective is fuzzy equality. EQ-algebras have three binary operations meet, multiplication, fuzzy equality and a unit element. They open the door to an alternative development of fuzzy (manyvalued) logic with the basic connective being fuzzy e...
متن کاملthe structure of lie derivations on c*-algebras
نشان می دهیم که هر اشتقاق لی روی یک c^*-جبر به شکل استاندارد است، یعنی می تواند به طور یکتا به مجموع یک اشتقاق لی و یک اثر مرکز مقدار تجزیه شود. کلمات کلیدی: اشتقاق، اشتقاق لی، c^*-جبر.
15 صفحه اولEQ-algebras: primary concepts and properties
In this paper, we introduce a special algebra called EQ-algebra which has three binary operations (meet, product, fuzzy equality) and a top element. The fuzzy equality is reflexive, symmetric and transitive with respect to the product. EQ-algebra is a natural algebra proposed as an algebra of truth values on the basis of which the fuzzy type theory (a higher-order fuzzy logic) should be develop...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Section of Logic
سال: 2021
ISSN: 2449-836X,0138-0680
DOI: 10.18778/0138-0680.2021.01